\chapter*{Introduction}
\markboth{Introduction}{Introduction}
\addcontentsline{toc}{chapter}{Introduction}


%In conclusion, the main contribution of this thesis is represented by the following three points:
%\begin{enumerate}
% \item the creation of the state transition graph, described in Section~\ref{sec:proposed:stg};
% \item the dataflow analysis, based on SSA representation, detailed in Section~\ref{sec:proposed:liveness};
% \item the register binding heuristic to minimize interconnections, presented in Section~\ref{sec:proposed:registerbinding}.
%\end{enumerate}

\fbox{DA SISTEMARE!!!!}
This thesis is organized as follows:
\begin{itemize}
  \item Chapter \ref{CH::HLS} gives an overview about High Level Synthesis;
  \item Chapter \ref{CH::PRE} describes all preliminaries information about High Level Synthesis and details those parts that will be the focus of this thesis;
  \item Chapter \ref{CH::SOA} shows the state of the art about liveness analysis, scheduling, speculation, register binding and controller synthesis.
  \item Chapter \ref{CH::ALG} presents and details the methodology proposed in this thesis.
  %thesis, with emphasis on the register allocation and binding phase.
  \item ***inserire altri capitoli***
\end{itemize}

